1 Evidence-based policy requires researchers to provide the answers to ecological questions that are of interest to policy makers. To find out what those questions are in the UK, representatives from 28 organizations involved in policy, together with scientists from 10 academic institutions, were asked to generate a list of questions from their organizations. 2 During a 2-day workshop the initial list of 1003 questions generated from consulting at least 654 policy makers and academics was used as a basis for (...) generating a short list of 100 questions of significant policy relevance. Short-listing was decided on the basis of the preferences of the representatives from the policy-led organizations. 3 The areas covered included most major issues of environmental concern in the UK, including agriculture, marine fisheries, climate change, ecosystem function and land management. 4 The most striking outcome was the preference for general questions rather than narrow ones. The reason is that policy is driven by broad issues rather than specific ones. In contrast, scientists are frequently best equipped to answer specific questions. This means that it may be necessary to extract the underpinning specific question before researchers can proceed. 5 Synthesis and applications. Greater communication between policy makers and scientists is required in order to ensure that applied ecologists are dealing with issues in a way that can feed into policy. It is particularly important that applied ecologists emphasize the generic value of their work wherever possible. (shrink)

This paper outlines a heterodox and largely unexplored conception of objecthood according to which the notion of an individual object is a determinable. §1 outlines the view. §2 argues that the view is incompatible with a natural analysis of kind membership and, as a consequence, undermines the Quinean distinction between ontology and ideology. The view is then used to alleviate one source of Quinean hostility towards non-trivial restrictions on de re possibility in §3, and to elucidate Fine’s neo-Aristoteltian, non-modal conception (...) of essence in §4. §5 concludes. (shrink)

This paper uses the resources of higher-order logic to articulate a Fregean conception of predicate reference, and of word-world relations more generally, that is immune to the concept horse problem. The paper then addresses a prominent style of expressibility problem for views of broadly this kind, versions of which are due to Linnebo, Hale, and Wright.

This chapter outlines a novel solution to the problem of the many, according to which objects can be simultaneously constituted by many collections of particles. To support this proposal, it develops a conception of objects that implies it. On this view, objects are fundamentally subjects of change: the changes an object can survive are explanatorily prior to its constitution. From this perspective, PM arises, and objects are multiply constituted because the changes that objects survive are too coarse-grained to distinguish among (...) the many different collections of particles that are candidates for constituting the relevant object. (shrink)

This paper evaluates Stalnaker’s recent attempt to outline a realist interpretation of possible worlds semantics that lacks substantive metaphysical commitments. The limitations of his approach are used to draw some more general lessons about the non-representational artefacts of formal representations. Three key conclusions are drawn. Stalnaker’s account of possible worlds semantics’ non-representational artefacts does not cohere with his modal metaphysics. Invariance-based analyses of non-representational artefacts cannot capture a certain kind of artefact. Stalnaker must treat instrumentally those aspects of possible worlds (...) formalism governing the interaction between quantification and modality, under any analysis whatsoever of non-representational artefacts. (shrink)

This paper evaluates the argument for the contradictoriness of unity, that be- gins Priest’s recent book One. The argument is seen to fail because it does not adequately differentiate between different forms of unity. This diagnosis of the argument’s failure is used as a basis for two consistent accounts of unity. The paper concludes by arguing that reality contains two absolutely fundamental and unanalysable forms of unity, which are in principle presupposed by any theory of anything. These fundamental forms of (...) unity are closely related to the unity of propositions and facts. (shrink)

Central to discussion of supervaluationist accounts of vagueness is the extent to which they require revisions of classical logic and if so, whether those revisions are objectionable. In an important recent Journal of Philosophy article, J.R.G. Williams presents a powerful challenge to the orthodox view that supervaluationism is objectionably revisionary. Williams argues both that supervaluationism is non-revisionary and that even if it were, those revisions would be unobjectionable. This note shows that his arguments for both claims fail.

There are two broad approaches to theorizing about ontological categories. Quineans use first-order quantifiers to generalize over entities of each category, whereas type theorists use quantification on variables of different semantic types to generalize over different categories. Does anything of import turn on the difference between these approaches? If so, are there good reasons to go type-theoretic? I argue for positive answers to both questions concerning the category of propositions. I also discuss two prominent arguments for a Quinean conception of (...) propositions, concerning their role in natural language semantics and apparent quantification over propositions within natural language. It will emerge that even if these arguments are sound, there need be no deep question about Quinean propositions’ true nature, contrary to much recent work on the metaphysics of propositions. (shrink)

While Mindfulness-Based Interventions (MBIs) have been shown to be effective for a range of patient populations and outcomes, a question remains as to the role of common therapeutic factors, as opposed to the specific effects of mindfulness practice, in contributing to patient improvements. This project used a mixed-method design to investigate the contribution of specific (mindfulness practice-related) and common (instructor and group related) therapeutic factors to client improvements within an MBI. Participants with mild-severe depression (N= 104; 73% female,Mage = 40.28) (...) participated in an 8-week MBI. Specific therapeutic factors (formal out-of-class meditation minutes and informal mindfulness practice frequency) and social common factors (instructor and group ratings) were entered into multilevel growth curve models to predict changes in depression, anxiety, stress, and mindfulness at six timepoints from baseline to 3-month follow-up. Qualitative interviews with participants provided rich descriptions of how instructor and group related factors played a role in therapeutic trajectories. Findings indicated that instructor ratings predicted changes in depression and stress, group ratings predicted changes in stress and self-reported mindfulness, and formal meditation predicted changes in anxiety and stress, while informal mindfulness practice did not predict client improvements. Social common factors were stronger predictors of improvements in depression, stress, and self-reported mindfulness than specific mindfulness practice-related factors. Qualitative data supported the importance of relationships with instructor and group members, involving bonding, expressing feelings, and instilling hope. Our findings dispel the myth that MBI outcomes are exclusively the result of mindfulness meditation practice, and suggest that social common factors may account for much of the effects of these interventions. Further research on meditation should take into consideration the effects of social context and other common therapeutic factors. (shrink)

This volume explores the use of higher-order logics in metaphysics. Seventeen original essays trace the development of higher-order metaphysics, discuss different ways in which higher-order languages and logics may be used, and consider their application to various central topics of metaphysics.

This paper explores the impact of quantification into predicate position on the metaphysics of properties, arguing that two familiar debates about properties are fundamentally altered by recasting them in a second-order setting. Two theories of properties are outlined, differing over whether the existence of properties is expressed using first-order or second-order quantifiers. It is argued that the second-order theory: provides good reason to regard debate about the locations of properties as contentless; resolves debate about whether properties are particulars or universals (...) in favour of universals. (shrink)

Some views articulate reality's hierarchical structure using relations from the fundamental to representations of reality. Other views instead use relations from the fundamental to constituents of non-representational reality. This paper argues against the first kind of view.

Rather than having been designed to function as a slave market, the Agora of the Italians appears to hâve functioned as a multifaceted recreational facility for the members of the Roman collegia of the island. That is, it functioned as a combined palaestra, bath, banquet hall, and gladiatorial arena, such as thèse probably existed at the turn of the second-first centuries B.C. Architecture lly, the building enjoys distinct similarities with the ludii gladiato- rii at Pompeii and at Rome.

This chapter discusses ontological commitment to properties, understood as ontological correlates of predicates. We examine the issue in four metaontological settings, beginning with an influential Quinean paradigm on which ontology concerns what there is. We argue that this naturally but not inevitably avoids ontological commitment to properties. Our remaining three settings correspond to the most prominent departures from the Quinean paradigm. Firstly, we enrich the Quinean paradigm with a primitive, non-quantificational notion of existence. Ontology then concerns what exists. We argue (...) that this strengthens the Quinean case against ontological commitment to properties while also newly distinguishing between stronger and weaker forms of nominalism. Secondly, we enrich the Quinean paradigm with the ideology of fundamentality. Ontology then centrally concerns what’s fundamental. We argue that this leaves ontological commitment to properties wide open although Bradleyan regress threatens. Thirdly, we enrich the Quinean paradigm with primitive higher-order quantifiers. Ontology then expands to concern what there higher-order is and what there first-order is. We argue that this naturally but not inevitably incurs ontological commitment to properties. (shrink)

This chapter discusses Edgington’s probabilistic, degree-theoretic semantics for vagueness. After describing Edgington’s semantics, her suggestion that it and classical semantics provide non-competing descriptions of a single phenomenon is examined. It is argued that the suggestion should be rejected because classical semantics is incompatible with plausible principles about the relationship between the two frameworks. Edgington also argues that the many degrees assigned to sentences in her semantics are not new truth-values. It is argued that these arguments presuppose a certain non-semantic conception (...) of truth. Although Edgington’s arguments do force a distinction between two theoretical roles typically associated with the notion of truth, one properly semantic and one merely expressive, they do not preclude identification of the many degrees of her probabilistic formalism with new truth-values in the semantic sense. (shrink)

According to one prominent strand of mainstream logic and metaphysics, identity is indistinguishability. Priest has recently argued that this permits counterexamples to the transitivity and substitutivity of identity within dialetheic metaphysics, even in paradigmatically extensional contexts. This paper investigates two alternative regimentations of indistinguishability. Although classically equivalent to the standard regimentation on which Priest focuses, these alternatives are strictly stronger than it in dialetheic settings. Both regimentations are transitive, and one satisfies substitutivity. It is argued that both regimentations provide better (...) candidates to occupy the core theoretical role of numerical identity than does the standard regimentation. (shrink)

Semantic theories based on a hierarchy of types have prominently been used to defend the possibility of unrestricted quantification. However, they also pose a prima facie problem for it: each quantifier ranges over at most one level of the hierarchy and is therefore not unrestricted. It is difficult to evaluate this problem without a principled account of what it is for a quantifier to be unrestricted. Drawing on an insight of Russell’s about the relationship between quantification and the structure of (...) predication, we offer such an account. We use this account to examine the problem in three different type-theoretic settings, which are increasingly permissive with respect to predication. We conclude that unrestricted quantification is available in all but the most permissive kind of type theory. (shrink)

This chapter provides an introduction to higher-order metaphysics as well as to the contributions to this volume. We discuss five topics, corresponding to the five parts of this volume, and summarize the contributions to each part. First, we motivate the usefulness of higher-order quantification in metaphysics using a number of examples, and discuss the question of how such quantifiers should be interpreted. We provide a brief introduction to the most common forms of higher-order logics used in metaphysics, and indicate a (...) number of questions which can be raised in such systems using logical vocabulary alone. Using a further example, we return to applications of higher-order logics in metaphysics. We also mention key developments in the history of higher-order logic as it pertains to metaphysics. Finally, we mention certain arguments which have been raised against the use of higher-order logic, and some ways of responding to them. (shrink)

This is a critical notice of Tim Button's book "The Limits of Realism".

Unger’s Problem of the Many seems to show that the familiar macroscopic world is much stranger than it appears. From plausible theses about the boundaries of or- dinary objects, Unger drew the conclusion that wherever there seems to be just one cat, cloud, table, human, or thinker, really there are many millions; and likewise for any other familiar kind of individual. In Lewis’s hands, this puzzle was subtly altered by an appeal to vagueness or indeterminacy about the the boundaries of (...) ordinary objects. This thesis examines the relation between these puzzles, and also to the phenomenon of vagueness. Chapter 1 begins by distinguishing Unger’s puzzle of too many candidates from Lewis’s puzzle of borderline, or vague, candidates. We show that, contra Unger, the question of whether this is a genuine, as opposed to merely apparent, distinction cannot be settled without investigation into the nature of vagueness. Chapter 2 begins this investigation by developing a broadly supervaluationist account of vague- ness that is immune to the standard objections. This account is applied to Unger’s and Lewis’s puzzles in chapters 3 and 4. Chapter 3 shows that, despite its popularity, Lewis’s own approach to the puzzles is unsatisfactory: it does not so much solve the puzzle, as prevent us from expressing them; it cannot be extended to objects that self-refer; it is committed to objectionable theses about temporal and modal metaphysics and semantics. Chapter 4 develops a conception of ordinary objects that emphasises the role of identity conditions and change, and uses it to resolve both Problems of the Many. This allows us to diagnose the source of the puzzles: an overemphasis on mereology in contemporary material ontology. (shrink)

This is a review of John Heil's "The Universe as We Find It".

Robert Burton's The Anatomy of Melancholy is one of the last great works of English prose to have remained unedited. The present volume inaugurates an authoritative edition of the work, which is being prepared by scholars on both sides of the Atlantic. It will be followed by two further volumes of text with textual apparatus, and two volumes of commentary. Burton concentrated a lifetime of inquiry into the Anatomy, describing and analysing melancholy and its causes - devoting especial attention to (...) love and religion - and recording possible cures. Primarily a scholarly study of morbid psychology, it is also a compendium of curious facts and anecdotes, and combines seriousness of purpose with a marked satirical vein. First published in 1621, it was a great success: four more editions were published in Burton's lifetime, in each of which new material was added, and a sixth, containing his final revisions, was published in in 1651, eleven years after his death. The textual complexity and Burton's extraordinary range of reference have hitherto deterred editors: this is the first scholarly edition to appear. The text is based on a complete collation of all six authoritative editions. (shrink)

This is a review of "Properties and Propositions: The Metaphysics of Higher-Order Logic" by Robert Trueman. Following an overview of the main themes of the book, I discuss the metaphysical presuppositions of Trueman's Fregean notation for predicate abstraction and evaluate his argument for strict typing.

Unger has recently argued that if you are the only thinking and experiencing subject in your chair, then you are not a material object. This leads Unger to endorse a version of Substance Dualism according to which we are immaterial souls. This paper argues that this is an overreaction. We argue that the specifically Dualist elements of Unger’s view play no role in his response to the problem; only the view’s structure is required, and that is available to Unger’s opponents. (...) We outline one such non-Dualist view, suggest how to resolve the dispute, respond to some objections, and argue that ours is but one of many views that survive Unger’s challenge. All these views are incompatible with microphysicalism. So Unger’s discussion does contain an insight: if you are the only conscious subject in your chair, then microphsyicalism is false. Unger’s mistake was to infer Substance Dualism from this; for microphysicalism is not the only alternative to Dualism. (shrink)

What is absolutely unrestricted quantification? We distinguish two theoretical roles and identify two conceptions of absolute generality: maximally strong generality and maximally inclusive generality. We also distinguish two corresponding kinds of absolute domain. A maximally strong domain contains every potential counterexample to a generalisation. A maximally inclusive domain is such that no domain extends it. We argue that both conceptions of absolute generality are legitimate and investigate the relations between them. Although these conceptions coincide in standard settings, we show how (...) they diverge under more complex assumptions about the structure of meaningful predication, such as cumulative type theory. We conclude by arguing that maximally strong generality is the more theoretically valuable conception. (shrink)

Children bring intuitive arithmetic knowledge to the classroom before formal instruction in mathematics begins. For example, children can use their number sense to add, subtract, compare ratios, and even perform scaling operations that increase or decrease a set of dots by a factor of 2 or 4. However, it is currently unknown whether children can engage in a true division operation before formal mathematical instruction. Here we examined the ability of 6- to 9-year-old children and college students to perform symbolic (...) and non-symbolic approximate division. Subjects were presented with non-symbolic or symbolic dividends ranging from 32 to 185, and non-symbolic divisors ranging from 2 to 8. Subjects compared their imagined quotient to a visible target quantity. Both children and adults were successful at the approximate division tasks in both dots and numeral formats. This was true even among the subset of children that could not recognize the division symbol or solve simple division equations, suggesting intuitive division ability precedes formal division instruction. For both children and adults, the ability to divide non-symbolically mediated the relation between Approximate Number System acuity and symbolic math performance, suggesting that the ability to calculate non-symbolically may be a mechanism of the relation between ANS acuity and symbolic math. Our findings highlight the intuitive arithmetic abilities children possess before formal math instruction. (shrink)

The traditional college student of today is part of the Net Generation who has been raised in an era of instant access. Their communication and learning is complemented by the Internet, a major influence on this cohort. The regular method of contact is text messaging, instant messaging and cell phones. Learning methods for the Net Generation include Internet tools such as Web-CT, Blackboard, online courses, online journals and i-pod downloads. Are they ready to also change from print textbooks to Internet (...) based textbooks? This paper describes the attitudes of some Net Generation students towards the usage of electronic textbooks. Three case studies were conducted: one class used an online textbook and two other classes used e-chapter supplements. Students were questioned on their perceptions of using and learning with e-textbooks. Their views describe some changing thoughts towards network connected media that is the mantra of this generation. (shrink)

The ability of the mind to conceptualize what is not present is essential. It allows us to reason counterfactually about what might have happened had events unfolded differently or had another course of action been taken. It allows us to think about what might happen – to perform 'Gedankenexperimente' (thought experiments) – before we act. However, the cognitive and neural mechanisms mediating this ability are poorly understood. We suggest that the frontopolar cortex (FPC) keeps track of and evaluates alternative choices (...) (what we might have done), whereas the anterior lateral prefrontal cortex (alPFC) compares simulations of possible future scenarios (what we might do) and evaluates their reward values. Together, these brain regions support the construction of suppositional scenarios. (shrink)

Cocreating meaning in collaboration is challenging. Success is often determined by people's abilities to coordinate their language to converge upon shared mental representations. Here we explore one set of low‐level linguistic behaviors, linguistic alignment, that both emerges from, and facilitates, outcomes of high‐level convergence. Linguistic alignment captures the ways people reuse, that is, “align to,” the lexical, syntactic, and semantic forms of others' utterances. Our focus is on the temporal change of multi‐level linguistic alignment, as well as how alignment is (...) related to communicative outcomes within a unique collaborative problem‐solving paradigm. The primary task, situated within a virtual educational video game, requires creative thinking between three people where the paths for possible solutions are highly variable. We find that over time interactions are marked by decreasing lexical and syntactic alignment, with a trade‐off of increasing semantic alignment. However, greater semantic alignment does not translate into better team performance. Overall, these findings provide greater clarity on the role of linguistic coordination within complex and dynamic collaborative problem‐solving tasks. (shrink)

We develop the theory of Kim-independence in the context of NSOP $_{1}$ theories satisfying the existence axiom. We show that, in such theories, Kim-independence is transitive and that -Morley sequences witness Kim-dividing. As applications, we show that, under the assumption of existence, in a low NSOP $_{1}$ theory, Shelah strong types and Lascar strong types coincide and, additionally, we introduce a notion of rank for NSOP $_{1}$ theories.

In Aaron and Bachalo's work, Doctor Stephen Strange exemplifies the characteristics and methods of the natural philosophers in clashes with his mystical enemies, Lord Imperator and the Empirikul. It's easy to be distracted by Doctor Strange's fancy spells, unique job title, or flashy cape, but we should also recognize that he is a Sorcerer Supreme, who demonstrates both discipline and intellect. Like the historical philosopher‐scientists, Doctor Strange studies metaphysics and its relationship to the physical world. When intellectuals began to challenge (...) Aristotle's teleological world‐view, they faced opposition from both the Catholic Church, who found Aristotle's views consistent with scripture, and the scientific community. Historian Peter Dear's book Revolutionizing the Sciences helps situate the work of ancient philosophers, like Aristotle, in the context of the history of the scientific revolution. (shrink)

DBS Think Tank IX was held on August 25–27, 2021 in Orlando FL with US based participants largely in person and overseas participants joining by video conferencing technology. The DBS Think Tank was founded in 2012 and provides an open platform where clinicians, engineers and researchers can freely discuss current and emerging deep brain stimulation technologies as well as the logistical and ethical issues facing the field. The consensus among the DBS Think Tank IX speakers was that DBS expanded in (...) its scope and has been applied to multiple brain disorders in an effort to modulate neural circuitry. After collectively sharing our experiences, it was estimated that globally more than 230,000 DBS devices have been implanted for neurological and neuropsychiatric disorders. As such, this year’s meeting was focused on advances in the following areas: neuromodulation in Europe, Asia and Australia; cutting-edge technologies, neuroethics, interventional psychiatry, adaptive DBS, neuromodulation for pain, network neuromodulation for epilepsy and neuromodulation for traumatic brain injury. (shrink)

We report on the small-scale (0.5 13 h - 1M, a large-scale bias of ~2.0 and a satellite fraction of 12 ± 2 per cent. Thus, these galaxies occupy haloes with average masses in between those of the higher redshift BOSS CMASS sample and the original SDSS I/II luminous red galaxy sample © 2012 The Authors Published by Oxford University Press on behalf of the Royal Astronomical Society © doi:10.1093/mnras/sts314.

The consent process for publication of clinical images in medical journals varies widely. The extent of this variation is not known. It is also not known whether journals follow their own stated best practices or the guidance of the International Committee of Medical Journal Editors. We assessed consent requirements in a sample of 10 top impact factor general medicine journals that publish clinical images, examining variability in consent requirements for clinical image publication and congruence of requirements with the recommendations of (...) the ICMJE. Clinical image consent requirements varied widely from journal to journal. None of the studied journals, even amongst n = 4 ICMJE members or n = 8 journals who self-report adherence to ICMJE guidelines, comply with all of the recommendations of the ICMJE. Half of studied journals require a journal-specific consent form. Among top medical journals there is significant heterogeneity in consent requirements for clinical images. Variability of consent requirements is neither practical nor rational; inconsistent requirements create uncertainty for authors, present impediments to dissemination of scholarship, and undermine a shared professional understanding of how best to protect patient privacy. We propose adopting a standardized consent form and process for publication of identifiable images in medical journals, with uniform elements and explicit definitions. (shrink)